
(setf *guess-var1*
      '(
	(func void file-copy ((string from) (string to))
	 (var HANDLE h-from INVALID_HANDLE_VALUE)
	 (var HANDLE h-to INVALID_HANDLE_VALUE)

	 (= h-from (CreateFile
		    from ; unicode file name
		    GENERIC_READ ; dword, desired access
		    FILE_SHARE_READ ; dword, share mode
		    NULL ; pointer, security attributes
		    OPEN_EXISTING ; dword, creation disposition
		    FILE_ATTRIBUTE_NORMAL ; dword, flags and attributes
		    NULL ; HANDLE, template file
		    ))
	 (if (== h-from INVALID_HANDLE_VALUE)
	     (progn
	       (
		(printf "can't open file %ws for reading\n" from)
		(goto LEnd)
		)))

	 (= h-to ())

	 (label LEnd)
	 )
	))


(setf *guess-var2*
      '(
	(func copy-file (from to) :external buffer-discovering-strategy
	 (var file-from (open-file from read-mode read-access))
	 (var file-to (open-file to write-mode create-new-access))
	 (var (byte-array buffer) (get-buffer buffer-discovering-strategy))
	 (var length)

	 (for (nil nil nil)
	  (var bytes-read (read-file file-from )))
	 )
	))

